merging two sorted lists in python